Event-Driven Grammars: Towards the Integration of Meta-modelling and Graph Transformation
نویسندگان
چکیده
In this work we introduce event-driven grammars, a kind of graph grammars that are especially suited for visual modelling environments generated by meta-modelling. Rules in these grammars may be triggered by user actions (such as creating, editing or connecting elements) and in its turn may trigger other user-interface events. Its combination with (non-monotonic) triple graph grammars allows constructing and checking the consistency of the abstract syntax graph while the user is building the concrete syntax model. As an example of these concepts, we show the definition of a modelling environment for UML sequence diagrams, together with event-driven grammars for the construction of the abstract syntax representation and consistency checking.
منابع مشابه
Second International Workshop on Meta-Models and Schemas for Reverse Engineering
The International Workshops on Meta-Models and Schemas for Reverse Engineering aim at utilizing metatechnology for the development and use of reverse engineering toolsets. The focus of ateM 2004 is the integration of meta-technology of model driven engineering into reverse engineering. 1. Model Driven Engineering Model Driven Engineering (MDE) approaches are becoming increasingly popular. The M...
متن کاملModelling Concurrent Computations: from Contextual Petri Nets to Graph Grammars
Graph grammars (or graph transformation systems), originally introduced as a generalization of string grammars, can be seen as a powerful formalism for the specification of concurrent and distributed systems, which properly extends Petri nets. The idea is that the state of a distributed system can be naturally represented (at a suitable level of abstraction) as a graph and local state transform...
متن کاملAutomatic Generation of OWL Ontologies from UML Class Diagrams Based on Meta- Modelling and Graph Grammars
Models are placed by modeling paradigm at the center of development process. These models are represented by languages, like UML the language standardized by the OMG which became necessary for development. Moreover the ontology engineering paradigm places ontologies at the center of development process; in this paradigm we find OWL the principal language for knowledge representation. Building o...
متن کاملA Hybrid Meta-heuristic Approach to Cope with State Space Explosion in Model Checking Technique for Deadlock Freeness
Model checking is an automatic technique for software verification through which all reachable states are generated from an initial state to finding errors and desirable patterns. In the model checking approach, the behavior and structure of system should be modeled. Graph transformation system is a graphical formal modeling language to specify and model the system. However, modeling of large s...
متن کاملNon-materialized Model View Specification with Triple Graph Grammars
Model-based tool data transformation and integration are crucial tasks in software and system development relying on modeldriven development (MDD). Since the tool-specific meta models of the involved system development tools are often too generic and lack the desired level of abstraction, it is inappropriate to specify model transformation and integration rules on top of them. Domain-specific v...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2004